f (g(1).P)
